Heterogeneous View Integration via Sketches and Equations
نویسندگان
چکیده
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise specifications suitable for implementation: the approach is an adaptation of a familiar in the mathematical category theory specification framework based on the so called sketches. On this ground, a procedure of automated view integration is developed. Its distinctive feature consists in specifying correspondence between different views (on the same universe of discourse) by equations that reduces the integration task to a sequence of formal algebraic procedures.
منابع مشابه
Algebraic Graph - Based Approach to Management of MultibaseSystems , I : Schema Integration via Sketches
In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise speciications suitable for implementation. The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by sy...
متن کاملAlgebraic Graph-Based Approach to Management of Multibase Systems, I: Schema integration via sketches and equations
Now it is evident that a chief property of the next generation information systems is their organization on cooperative principles. In its turn, for cooperative systems (CIS) it is normal that an application program needs data stored in several separate databases (DBs). In fact, as is was noted in [Mot87], such a multibase situation is very similar to the multifile situation before invention of...
متن کاملDatabases as Graphical Algebras : Algebraic Graph - Based Approach to Data Modeling andDatabase
The approach we suggest is based on a graphical speciication language possessing formal semantics so that graphical images themselves are precise speciications suitable for implementation. Our speciications are similar to the sketches developed in the category theory but, in contrast to them, enjoy the possibility of setting arbitrary signatures of diagram properties and operations. An importan...
متن کاملNumerical Solution of Second Kind Volterra and Fredholm Integral Equations Based on a Direct Method Via Triangular Functions
A numerical method for solving linear integral equations of the second kind is formulated. Based on a special representation of vector forms of triangular functions and the related operational matrix of integration, the integral equation reduces to a linear system of algebraic equations. Generation of this system needs no integration, so all calculations can easily be implemented. Numerical res...
متن کاملNumerical inversion of Laplace transform via wavelet in ordinary differential equations
This paper presents a rational Haar wavelet operational method for solving the inverse Laplace transform problem and improves inherent errors from irrational Haar wavelet. The approach is thus straightforward, rather simple and suitable for computer programming. We define that $P$ is the operational matrix for integration of the orthogonal Haar wavelet. Simultaneously, simplify the formulaes of...
متن کامل